Le Guernic, Colas: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

State of the art of network protocol reverse engineering tools

Duchêne, Julien, Le Guernic, Colas, Alata, Eric, Nicomette, Vincent, Kaâniche, Mohamed

Journal:

Journal of Computer Virology and Hacking Techniques

Year:

2017

Language:

english

File:

PDF, 640 KB

english, 2017

2

[ACM Press the 14th international conference - Chicago, IL, USA (2011.04.12-2011.04.14)] Proceedings of the 14th international conference on Hybrid systems: computation and control - HSCC '11 - Reachable set computation for uncertain time-varying linear systems

Althoff, Matthias, Le Guernic, Colas, Krogh, Bruce H.

Year:

2011

Language:

english

File:

PDF, 1.46 MB

english, 2011

3

[IEEE 2018 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) - Luxembourg City, Luxembourg (2018.6.25-2018.6.28)] 2018 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) - Specification-Based Protocol Obfuscation

Duchene, Julien, Alata, Eric, Nicomette, Vincent, Kaaniche, Mohamed, Le Guernic, Colas

Year:

2018

Language:

english

File:

PDF, 585 KB

english, 2018

4

Computing reachable states for nonlinear biological models

Thao Dang, Colas Le Guernic, Oded Maler

Journal:

Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 488 KB

english, 2011

5

[ACM Press the 16th international conference - Philadelphia, Pennsylvania, USA (2013.04.08-2013.04.11)] Proceedings of the 16th international conference on Hybrid systems: computation and control - HSCC '13 - Flowpipe approximation and clustering in space-time

Frehse, Goran, Kateja, Rajat, Le Guernic, Colas

Year:

2013

Language:

english

File:

PDF, 1.16 MB

english, 2013

6

Reachability analysis of linear systems using support functions

Colas Le Guernic, Antoine Girard

Journal:

Nonlinear Analysis Hybrid Systems

Year:

2010

Language:

english

File:

PDF, 510 KB

english, 2010

7

[IEEE 2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control - Munich, Germany (2006.10.4-2006.10.6)] 2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control - Recent progress in continuous and hybrid reachability analysis

Asarin, Eugene, Dang, Thao, Frehse, Goran, Girard, Antoine, Le Guernic, Colas, Maler, Oded

Year:

2006

Language:

english

File:

PDF, 401 KB

english, 2006

8

Efficient Reachability Analysis for Linear Systems using Support Functions

Girard, Antoine, Guernic, Colas Le

Journal:

IFAC Proceedings Volumes

Year:

2008

Language:

english

File:

PDF, 296 KB

english, 2008

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски